On uncountable strongly concentrated sets of reals
نویسندگان
چکیده
We construct new models of ZF with an uncountable set reals that has a unique condensation point. This addresses question Sierpiński from 1918.
منابع مشابه
On coding uncountable sets by reals
The following is our main result. Theorem 1.1 Suppose that A ⊆ ω1 and = [A]. Then there exists a cardinal preserving generic extension [x] of the ground universe by a generic real x such that (i) A ∈ [x] – this implies [x] = [x], and A ∈ Δ 1 (x) in [x], (ii) x is a minimal real over , that is, x ∈ , and if a set Y belongs to [x], then x ∈ [Y ] or Y ∈ , 1) (iii) there is a club C ∈ [x], C ⊆ ω1, ...
متن کاملOn strongly jump traceable reals
In this paper we show that there is no minimal bound for jump traceability. In particular, there is no single order function such that strong jump traceability is equivalent to jump traceability for that order. The uniformity of the proof method allows us to adapt the technique to showing that the index set of the c.e. strongly jump traceables
متن کاملEntire Functions Mapping Uncountable Dense Sets of Reals onto Each Other Monotonically
When A and B are countable dense subsets of R, it is a well-known result of Cantor that A and B are order-isomorphic. A theorem of K.F. Barth and W.J. Schneider states that the order-isomorphism can be taken to be very smooth, in fact the restriction to R of an entire function. J.E. Baumgartner showed that consistently 2א0 > א1 and any two subsets of R having א1 points in every interval are ord...
متن کاملOn diagonal sets in uncountable structures
In this paper we deal with complexity issues in uncountable domains like R and C as introduced by Blum, Shub, and Smale 5]. We consider the question of whether for complexity classes C 1 C 2 there exist diagonal problems if C 1 6 = C 2 is assumed (i.e. problems in C 2 n C 1 being non-complete for C 2): Two methods to obtain such results are presented: application of a transfer result given in 4...
متن کاملRemarks on Small Sets of Reals
We show that the Dual Borel Conjecture implies that d > א1 and find some topological characterizations of perfectly meager and universally meager sets.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2021
ISSN: ['2330-1511']
DOI: https://doi.org/10.1090/proc/14432